$\forall$$k$:Knd. islocal($k$) $\in$ $\mathbb{B}$